Oded Maler (eds.): البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Springer International Publishing

Oded Maler, Ádám Halász, Thao Dang, Carla Piazza (eds.)

عام:

2015

اللغة:

english

ملف:

PDF, 11.03 MB

0 / 0

english, 2015

2

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 10.22 MB

0 / 0

english, 2009

3

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

4

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Oded Maler (eds.)

عام:

1997

اللغة:

english

ملف:

DJVU, 3.80 MB

0 / 0

english, 1997

5

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

عام:

1995

اللغة:

english

ملف:

DJVU, 6.46 MB

0 / 0

english, 1995

6

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 9.00 MB

0 / 0

english, 2003

7

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)

عام:

2011

اللغة:

english

ملف:

PDF, 4.77 MB

0 / 0

english, 2011

8

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)

عام:

2011

اللغة:

english

ملف:

PDF, 4.32 MB

0 / 0

english, 2011

9

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 13.29 MB

0 / 0

english, 2009